Philosophie Lexikon der ArgumenteHome | |||
| |||
Typentheorie: Beschränkung formaler Systeme auf eine Art der Bezugnahme, die verhindert, dass sich Symbole einer Ebene (eines Typs) auf Symbole derselben Ebene (desselben Typs) beziehen. Dadurch sollen Paradoxien vermieden werden, die aus einer Selbstbezüglichkeit der verwendeten Zeichen oder Ausdrücke entstehen. Ursprüngliche Vorschläge für Typentheorien stammen von B. Russell (B. Russell, Mathematical logic as based on the theory of types, in American Journal of Mathematics 30 (1908), pp. 222–262). Siehe auch Selbstbezüglichkeit, Zirkularität, Paradoxien, Russells Paradoxie, Stufen, Verzweigte Typentheorie. _____________Anmerkung: Die obigen Begriffscharakterisierungen verstehen sich weder als Definitionen noch als erschöpfende Problemdarstellungen. Sie sollen lediglich den Zugang zu den unten angefügten Quellen erleichtern. - Lexikon der Argumente. | |||
Autor | Begriff | Zusammenfassung/Zitate | Quellen |
---|---|---|---|
Arthur N. Prior über Typentheorie – Lexikon der Argumente
I 40f Verzweigte Typentheorie/Prior: Verzweigte Typentheorie kommt herein, wenn Ausdrücke einen Satz aus einem einzelnen Namen bilden. - Hier müssen wir unterscheiden, ob quantifizierende Ausdrücke derselben Art vorkommen. Bsp "__ hat alle Eigenschaften eines großen Feldherrn". Logische Form: "Für alle φ, wenn (für alle x, wenn x ein großer Feldherr ist, dann φx) dann φ__" - ∏φ∏xCψxφx'. Einfacheres Bsp "__ hat die eine oder andere Eigenschaft". Logische Form: "Für ein φ,φ __", ∑φφ' Ordnung/Typ: Hier kann man sagen, obwohl das Prädikat vom selben Typ ist, ist es doch von verschiedener Ordnung. - Weil dieses "φ" eine interne Quantifikation von 'φs' hat - Verzweigte Typentheorie: nicht nur verschiedene Typen, sondern auch verschiedene "Ordnungen" sollten von verschiedenen Symbolen dargestellt werden. >Verzweigte Typentheorie._____________ Zeichenerklärung: Römische Ziffern geben die Quelle an, arabische Ziffern die Seitenzahl. Die entsprechenden Titel sind rechts unter Metadaten angegeben. ((s)…): Kommentar des Einsenders. Übersetzungen: Lexikon der ArgumenteDer Hinweis [Begriff/Autor], [Autor1]Vs[Autor2] bzw. [Autor]Vs[Begriff] bzw. "Problem:"/"Lösung", "alt:"/"neu:" und "These:" ist eine Hinzufügung des Lexikons der Argumente. |
Pri I A. Prior Objects of thought Oxford 1971 Pri II Arthur N. Prior Papers on Time and Tense 2nd Edition Oxford 2003 |